- анализ спецификации
- Programming: analysis of specification (например, компонента)
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
Анализ требований — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Документирование& … Википедия
АНАЛИЗ ЛАТЕНТНО-СТРУКТУРНЫЙ — – метод вероятно статистич. моделирования, идея к рого основана на предположении, что наблюдаемое поведение (напр., ответы индивидов на вопросы теста или анкеты) есть внешнее проявление нек рой скрытой (латентной) характеристики, присущей… … Российская социологическая энциклопедия
Статический анализ кода — (англ. static code analysis) анализ программного обеспечения, производимый без реального выполнения исследуемых программ (анализ, производимый с выполнением программ, называется динамический анализ кода). В большинстве случаев анализ… … Википедия
ГОСТ Р 27.302-2009: Надежность в технике. Анализ дерева неисправностей — Терминология ГОСТ Р 27.302 2009: Надежность в технике. Анализ дерева неисправностей оригинал документа: 3.9 базисное событие: Событие, которое не может (не будет) развиваться в дальнейшем. Определения термина из разных документов: базисное… … Словарь-справочник терминов нормативно-технической документации
JavaScript — Не следует путать с Java. JavaScript Класс языка: мультипарадигменный … Википедия
Подготовка — 5. Подготовка* Преобразование принятых сигналов согласно настоящему стандарту в форму, которая позволяет измерять, обрабатывать или выдавать информации (например усиление, преобразование в код) Источник … Словарь-справочник терминов нормативно-технической документации
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
Фьючерс — (Futures) Фьючерс это срочный биржевой контракт на покупку рыночного актива Что такое фьючерс, фьючерсный контракт, рынок фьючерсов, торговля фьючерсами, стратегия фьючерс, виды ценных бумаг на фьючерсном рынке, хеджирование рисков с помощью… … Энциклопедия инвестора
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
50.1.031-2001: Информационные технологии поддержки жизненного цикла продукции. Терминологический словарь. Часть 1. Стадии жизненного цикла продукции — Терминология 50.1.031 2001: Информационные технологии поддержки жизненного цикла продукции. Терминологический словарь. Часть 1. Стадии жизненного цикла продукции: 3.7.12. (всеобщее) управление качеством : Совокупность программных средств и данных … Словарь-справочник терминов нормативно-технической документации
Р 50.1.031-2001: Информационные технологии поддержки жизненного цикла продукции. Терминологический словарь. Часть 1. Стадии жизненного цикла продукции — Терминология Р 50.1.031 2001: Информационные технологии поддержки жизненного цикла продукции. Терминологический словарь. Часть 1. Стадии жизненного цикла продукции: 3.7.12. (всеобщее) управление качеством : Совокупность программных средств и… … Словарь-справочник терминов нормативно-технической документации